Supervisory Control for Modal Specifications of Services
نویسندگان
چکیده
منابع مشابه
Supervisory control for modal specifications of services
In the service oriented architecture framework, a modal specification, as defined by Larsen in [5], formalises how a service should interact with its environment. More precisely, a modal specification determines the events that the server may or must allow at each stage in an interactive session. In this paper, we investigate the adaptation of the supervisory control theory of Ramadge and Wonha...
متن کاملBisimilarity Enforcing Supervisory Control for Deterministic Specifications
This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence ...
متن کاملSupervisory Control of Petri Nets with Language Specifications
In this chapter we discuss how Petri nets can be used in the framework of supervisory control theory. A discrete event system is defined in such a theory as a language generator: this motivates the need to start the chapter with a short but self-contained introduction to Petri net languages. We consider the monolithic supervisory design that requires to construct the concurrent composition of t...
متن کاملModal Specifications for the Control Theory of Discrete Event Systems
2 Conjunctive Nu-calculus and Modal Specifications 4 2.1 The Conjunctive Nu-calculus . . . . . . . . . . . . . . . . . . . 5 2.1.1 Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.2 Semantics . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2 Modal Specifications and Their Models . . . . . . . . . . . . . 6 2.2.1 Modal Specifications . . . . . . . . . . . . . . . . . . . ...
متن کاملSupervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2010
ISSN: 1474-6670
DOI: 10.3182/20100830-3-de-4013.00069